Maryland State Treasurer’s Office Nancy K. Kopp, Treasurer NEWS RELEASE FOR IMMEDIATE RELEASE

Source URL: www.treasurer.state.md.us

• Economics
• Bonds
• Government bonds
• Government debt
• Investment
• Financial services
• Securities
• Merrill Lynch
• Nancy K. Kopp
• Credit rating agency

School Safety Advisory Committee June 6, 2013 ESD[removed]Wenatchee NOTES PRESENT: Frank Hewins, Chair; Nancy Bernard; Paul Harrison; Sheller Seslar; Mike Lynch ; Lisa Skinner; Bruce Kuennen; Dermott Murphy; Mike Donlin.

Source URL: www.k12.wa.us

• Abuse
• Bullying
• Cyber-bullying

An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

Source URL: www.markrtuttle.com

• Distributed computing
• I/O Automaton
• Computing
• Computer science
• Finite-state machine
• Automaton
• Büchi automaton
• Automata theory
• Models of computation
• Theoretical computer science

Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology

Source URL: www.markrtuttle.com

• Arbiter
• Computing
• Actor model
• Computer science
• Software engineering
• Automata theory
• Models of computation
• Finite-state machine

Tight Bounds for k-Set Agreement Soma Chaudhuri∗ Maurice Herlihy† Nancy A. Lynch‡

Source URL: www.markrtuttle.com

• Consensus
• Data
• Parallel computing
• Communications protocol
• RANSAC
• Advanced Configuration and Power Interface
• Cellular neural network
• Computing
• Statistics
• Fault-tolerant computer systems

Mark Rogers Tuttle Intel Corporation 77 Reed Road Hudson, MA[removed]3305 [removed]

Source URL: www.markrtuttle.com

• Theoretical computer science
• Symposium on Principles of Distributed Computing
• Nancy Lynch
• International Symposium on Distributed Computing
• Association for Computing Machinery
• Dijkstra Prize
• ACM SIGACT
• Computer science
• Computing
• Symposium on Parallelism in Algorithms and Architectures

Massachusetts Institute of Technology School of Engineering Faculty Personnel Record Date: April 11, 2013 Full Name: Charles E. Leiserson Department: Electrical Engineering and Computer Science

Source URL: people.csail.mit.edu

• Charles E. Leiserson
• Introduction to Algorithms
• Symposium on Parallelism in Algorithms and Architectures
• Nancy Lynch
• Thomas H. Cormen
• Clifford Stein
• Ron Rivest
• Nir Shavit
• W. Daniel Hillis
• Computing
• Computer science
• Academia

HBML Friends of the Library October 16, 2013 The meeting was called to order by president, Linda Winters Members present were: Linda Winters, Carol Mahon, Cathy Allen, Nancy Ary, and Sarah Lynch. Treasurer, Carol Mahon,

Source URL: www.hbmlibrary.org

The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec

Source URL: www.veromodo.com

• Theoretical computer science
• Cellular automata
• Formal methods
• Computer science
• Model checkers
• Automata-based programming
• Automata theory
• Model checking
• Finite-state machine

The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec

Source URL: www.veromodo.com

• Applied mathematics
• Models of computation
• Computer science
• Model checking
• Finite-state machine
• Formal language
• Algorithm
• Theoretical computer science
• Automata theory
• Mathematics